Feeds to Scour
SubscribedAll
Scoured 258052 posts in 2.71 s
IPC in Rust
3tilley.github.ioยท1d
๐Ÿ”—Concurrency Primitives
Preview
Report Post
How APIs Actually Travel Between Systems
dev.toยท11hยท
Discuss: DEV
๐ŸŒNetwork Protocols
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท13h
๐Ÿ”งLLVM IR
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐ŸŽฏSymbolic Execution
Preview
Report Post
๐ŸŽฒ Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.ioยท8h
๐Ÿš‚Error Propagation
Preview
Report Post
Network Programming
theworld.comยท1d
๐ŸŒMinimal HTTP
Preview
Report Post
EP195: Common Network Protocols Every Engineer Should Know
blog.bytebytego.comยท8h
๐ŸŒNetwork Protocols
Preview
Report Post
How Data Travels: Packet Switching vs Circuit Switching
infosecwriteups.com
ยท19h
๐Ÿ“กProtocol Stacks
Preview
Report Post
robertsdotpm/namebump: Namebump is a registrationless, key-authenticated name registry where writes bump prior values.
github.comยท1hยท
Discuss: Hacker News
๐Ÿ—๏ธHash Tables
Preview
Report Post
How Data Really Travels Over the Network (JSON vs Avro vs Protobuf)
medium.comยท8hยท
Discuss: r/programming
๐Ÿ“กNetwork Serialization
Preview
Report Post
Friendly Little Wrapper Typesโ€Šโ€”โ€ŠSympolymathesy, by Chris Krycho
v5.chriskrycho.comยท2h
๐Ÿ”งAPI Design
Preview
Report Post
Writing a chat in Go with WebSockets. What is the best message delivery system?
reddit.comยท5hยท
Discuss: r/golang
๐Ÿ“ฎMessage Queues
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท8hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Preview
Report Post
I got tired of 60 second rebuild cycles on ESP32-P4 so I built this
reddit.comยท15hยท
Discuss: r/embedded
๐Ÿค–Embedded Go
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท5h
โš™๏ธConfiguration Parsing
Preview
Report Post
Building a Heartbeat-style Gossip Node Network: Failure Detection in Distributed Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ•ธ๏ธP2P Protocols
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท16hยท
Discuss: r/compsci
๐Ÿง Semantic Parsing
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.comยท14h
๐Ÿค–Abstract Machines
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.toยท6hยท
Discuss: DEV
๐Ÿ”งNickel
Preview
Report Post
Writing an NES emulator in Haskell
arthi-chaud.github.ioยท2dยท
๐ŸงธToy Compilers
Preview
Report Post